hg: valhalla/valhalla: 8222402: [lworld] LW2 array support in javac

[Srikanth]

With javac cleaning up the notions of type relations between an inline 
type and its null projection,
what is required for array support from javac automatically falls into 
place.

I have pushed this changeset with tests to assert that

     - "[QFoo;" <: "[LFoo;” <: “[LObject;” <: “Object;"
     - That we can freely allow widening conversion, but not narrowing. 
I.e. narrow checkcast must match [Q...

In general thing work as expected, I did find one problem

     Foo?[] fa = new Foo?[10];
     Foo [] qa = (Foo []) fa;  // <------- No CCE here yet.

Thanks!
Srikanth

On 22/04/19 6:20 PM, srikanth.adayapalam at oracle.com wrote:
> Changeset: 2da7a1ed0104
> Author:    sadayapalam
> Date:      2019-04-22 18:20 +0530
> URL:       http://hg.openjdk.java.net/valhalla/valhalla/rev/2da7a1ed0104
>
> 8222402: [lworld] LW2 array support in javac
>
> + test/langtools/tools/javac/valhalla/lworld-values/ArrayRelationsTest.java
>