[lworld] [Rev 01] RFR: 8237072: [lworld] Add support for denoting and deriving the reference projection

[Srikanth Adayapalam]

On Fri, 1 May 2020 11:29:59 GMT, Srikanth Adayapalam <sadayapalam at openjdk.org> wrote:

>> src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties line 3704:
>> 
>>> 3703: compiler.err.generic.parameterization.with.value.type=\
>>> 3704:     Inferred type {0} involves generic parameterization by an inline type
>>> 3705:
>> 
>> Do you have examples when this can happen? Or is this a leftover (in which case I think Check.java could be cleaned up
>> a bit)
>
> We had a discussion about possibly turning it into a throw. I think let us leave it in for now till the generics story
> is more evolved and we know where we are heading.

No we don't know where this code could be exercised. All the inference scenarios are covered in the test case - which
is why it had to be changed into positive test - So this could technically go away - only reason is to hold onto it to
detect any surprises and to wait for generics story to crystalize.

-------------

PR: https://git.openjdk.java.net/valhalla/pull/32