RFR: 8263614: javac allows local variables to be accessed from a static context [v2]

[Maurizio Cimadamore]

On Thu, 13 May 2021 20:07:12 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   update after review comments
>
> src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java line 2329:
> 
>> 2327:                     (sym.owner.kind == MTH &&
>> 2328:                     currentEnv != originalEnv &&
>> 2329:                         (!isInnerClassOfMethod(sym.owner, originalEnv.tree.hasTag(CLASSDEF) ?
> 
> Can't you do a similar approach here and use staticOnly to rule out tvars?

I think you can go in findType, move the assignment to staticOnly to *after* the call to findTypeVar - then you can drop all type var symbol you find with staticOnly = true.

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

PR: https://git.openjdk.java.net/jdk/pull/4004