[lworld] RFR: Make "PrimitiveParameterizedClass.default" a poly expression. [v2]

Jesper Steen Møller jespersm at openjdk.java.net
Sun Jul 25 21:55:31 UTC 2021


On Mon, 19 Jul 2021 08:26:24 GMT, Srikanth Adayapalam <sadayapalam at openjdk.org> wrote:

>> Jesper Steen Møller has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains one commit:
>> 
>>   [lworld] Handling poly-inference of missing arguments by simulating a synthetic method.
>
> A way to see this in more detail is to debug through the Attr.visitApply call corresponding to the method invocation
> 
> 
> m(new X<>(), X.default);
> 
> 
> in this test case:
> 
> 
> public primitive class X<T> {
> 
>     
>     static void m(X<String> ls, X<String> ls2) { }
> 
>     public static void main(String [] args) {
>         m(new X<>(), X.default);
>     }
> 
> }
> 
> 
> 
> You will see that first argument is typed to be DeferredType and second one incorrectly to be X<T\>

Hey @sadayapalam and @mcimadamore, I think this patch is ready for review again.

I've not merged lworld (to keep a clearer history), but it still applies cleanly to the current lworld tip, so it should merge OK.

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

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


More information about the valhalla-dev mailing list