[lworld] RFR: 8350901: [lworld] Substitutability check is broken for non-flat fields

[Chen Liang]

On Thu, 27 Feb 2025 21:49:36 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

> Revert "8348904: [lworld] Remove concept of default value object and zeroInstance"
> 
> This reverts commit 38041d7572e853348691af5b384a08f245e2354d.

I don't think this is the right way to resolve this problem; this "broken" only happens through null-restricted arrays not properly running value class constructors. The right way to resolve this is to encapsulate `ValueClass.newNullRestrictedArray` to fill the array with valid instances, which can be running the component type constructor.

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

PR Comment: https://git.openjdk.org/valhalla/pull/1383#issuecomment-2689238121