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

[Maurizio Cimadamore]

On Fri, 29 Aug 2025 12:02:50 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> 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

What has fixed this exactly? It seems like this was already working as expected because `TreeInfo.isExplicitThisReference` already checks for possible enclosing types?

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

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