Initial LVTI support in IntelliJ IDEA

[Anna Kozlova]

Should be fixed in the next EAP.

Thanks,
Anna

On Sat, Sep 30, 2017 at 1:31 AM, Brian Goetz <brian.goetz at oracle.com> wrote:

> I have tried this out and so far it looks very nice.  I tried a few
> examples where upward projection would be needed, and it seems to work as
> expected.  Also works as expected with null types (error), anon class
> types, and the intersections I threw at it.
>
> One small thing I noticed is that the “hover” support could be improved.
> (I’m using MacOS.)  When I do
>
>     var x = blah()
>     foo(x)
>
> there’s no combination of modifier keys I could find where, if I hover
> over the declaration of x or over the var, it shows me the inferred type.
> If I cmd-hover over the _use_ of x, it shows me the type.  It would be
> great if there was some way to more directly ask “So, what’s the type of
> this inferred thing?”
>
> Many of the error messages when trying to infer things that can’t be
> inferred were pretty good.  Some cases probably could be improved.  For
> example, if I say:
>
> var y = q -> 3;
>
> it says “q -> 3 is not a functional interface”.  It identifies correctly
> as an error, but I’d expect to see an error message like “cannot infer type
> of lambda expression; functional interface required.”
>
>
> Overall looks great!
>
> Cheers,
> -Brian
>
>
>
> > On Sep 28, 2017, at 7:29 PM, Tagir Valeev <amaembo at gmail.com> wrote:
> >
> > Hello!
> >
> > I'd like to announce that initial LVTI support is available in
> > IntelliJ IDEA 2017.3 EAP, including support of 'var' keyword, syntax
> > highlighting, some compilation errors (like when usage of 'var' is
> > impossible) and intention actions to convert explicit type to var and
> > vice versa. You can download EAP version here:
> > https://www.jetbrains.com/idea/nextversion/
> > Please post bug reports to our bug tracker:
> > https://youtrack.jetbrains.com/issues/IDEA
> >
> > Big thanks to Anna Kozlova and Roman Shevchenko who work on this feature!
> >
> > With best regards,
> > Tagir Valeev.
>
>