[lworld] RFR: 8359370: [lworld] allow instance fields of identity classes to be readable in the prologue phase [v13]

[Vicente Romero]

On Fri, 29 Aug 2025 10:12:25 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> all the code we analyze in this visitor is in the prologue, this is why we pre-select what code we will see
>
> I understand -- but in the prologue of Foo we can have a Bar.this where Bar is some enclosing class?
> 
> 
> class Foo {
>         class Bar {
>             Bar() { Object o = Foo.this; super();}
>         }
> }

yep I see, there seems to be a bug here, thanks

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

PR Review Comment: https://git.openjdk.org/valhalla/pull/1523#discussion_r2309986600