[lworld] RFR: 8244231: [lworld] Add support for ref-default and val-default inline classes.

[Srikanth Adayapalam]

On Fri, 16 Jul 2021 08:05:02 GMT, Srikanth Adayapalam <sadayapalam at openjdk.org> wrote:

> Code changes and tests

src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java line 1216:

> 1214:                     && (t.tsym != s.tsym ||
> 1215:                         (t.isReferenceProjection() == s.isReferenceProjection() && t.isValueProjection() == s.isValueProjection()))
> 1216:                      // Check type variable containment

This check should really be comparing that t.flavor == s.flavor. But this is causing some issues at the moment and will be followed up in JDK-8270882

src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java line 1463:

> 1461:                     && t.isReferenceProjection() == s.isReferenceProjection()
> 1462:                     && t.isValueProjection() == s.isValueProjection()
> 1463:                     && visit(getEnclosingType(t), getEnclosingType(s))

Likewise this should be checking that t.flavor == s.flavor. Will be followed up in JDK-8270882

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

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