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

[Srikanth Adayapalam]

On Thu, 1 Apr 2021 15:32:54 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Srikanth Adayapalam has refreshed the contents of this pull request, and previous commits have been removed. The incremental views will show differences compared to the previous content of the PR.
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java line 2202:
> 
>> 2200:      * @param s a type
>> 2201:      */
>> 2202:     public Type asSuper(Type t, Type s) {
> 
> A possible approach here (discussed offline) would be to leave asSuper as it is today - e.g. assume that asSuper speaks about "extends/implements" clause, and deal with .ref vs. .val mismatches at the callsite (if possible) - e.g. in Types::isSubtypes.

Yes, I'll pursue what you outline in upcoming commits

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

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