[lworld] RFR: 8244227: [lworld] Explore an implementation where the reference projection and value projection types are backed by a single class symbol

[Srikanth Adayapalam]

On Wed, 31 Mar 2021 12:32:04 GMT, Srikanth Adayapalam <sadayapalam at openjdk.org> wrote:

> This PR overhauls the existing implementation/representation of reference projection types  and the inline types so that both share the same underlying symbol, much like how an infinite family of parameterized types that originate from the same generic type are modelled using the same underlying symbol.

src/jdk.compiler/share/classes/com/sun/tools/javac/code/Type.java line 1056:

> 1054:             this(outer, typarams, tsym, metadata, false);
> 1055:         }
> 1056: 

I have rewired most of the constructor invocations to the new one which handles a reference projection flag parameter. A few call sites are still left in for the old constructors, these seem harmless.

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

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