Temporary variable written as field in static block with -Ainfer

[jwaataja]

When the increment operator is used inside of a Java static block, a temporary variable (which I believe is create by this line) is recorded as a field and written out to stub/jaif files with -Ainfer.

With this class

public class TempVars {
    static {
        int i = 0;
        i++;
    }
}

and this command

$CHECKERFRAMEWORK/checker/bin/javac -processor NullnessChecker -Ainfer=stubs TempVars.java

the generated stub file looks like

import org.checkerframework.checker.initialization.qual.Initialized;
import org.checkerframework.checker.nullness.qual.NonNull;

class TempVars {

  // fields:

  @Initialized @NonNull int tempPostfix#num0;

}

This class has no fields but there's a variable tempPostfix written under fields.

This also happens with jaif files, but with those it causes a crash.

Output for

$CHECKERFRAMEWORK/checker/bin/javac -processor NullnessChecker -Ainfer=stubs TempVars.java -version -verbose -AprintAllQualifiers

javac_temp_vars.txt