On Fri, 29 Aug 2025 10:56:14 GMT, Maurizio Cimadamore <[email protected]> 
wrote:

>> Example:
>> 
>> 
>> class Test {
>> 
>>     int x = 4;
>> 
>>     static String m(Runnable r) { return null; }
>> 
>>     Test() {
>>         m(() -> System.out.println(x)).toString();
>>         super();
>>     }
>> 
>>     public static void main(String[] args) {
>>         new Test();
>>     }
>> }
>> 
>> 
>> This seems to compile, but then fails with verifier error.
>
> (e.g. we really need to make sure that `analyzeSelect` is not applied too 
> broadly)

true, now that we removed the visitor at TreeInfo that is a problem

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

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

Reply via email to