improvements type inference of type intersections (affects ValLambda.java, ValWeirdTypes.java tests)

[m4gshm]

No description provided.

[rzwitserloot]

Unfortunately, looks like I have to shoot this one down. I don't know how you do it, but you manage to make javac (with lombok with your patch) correctly untangle this marvellous line of code:

lombok.val foo = (System.currentTimeMillis() > 0) ? (Runnable)()-> {} : System.out::println;

If I try to compile that with javac with lombok with your patch in it, it works. But if I try to compile the same thing with ecj, it won't (it can't target-type System.out::println into a functional interface). This compiles fine on both ecj and javac without lombok:

Runnable foo = (System.currentTimeMillis() > 0) ? (Runnable)()-> {} : System.out::println;

and this won't compile on either:

Object foo = (System.currentTimeMillis() > 0) ? (Runnable)()-> {} : System.out::println;

adding to the impressiveness of the patch :)

Nevertheless, if we can't make ecj and javac do the same thing here, I prefer to just call it a day and go with j.l.Object for this stuff. Not great either, but at least consistent.

[rzwitserloot]

This is some seriously impressive voodoo magic, Alex! Will be in the next release :)

[rzwitserloot]

See also 2eab72c