Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractExecutableType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractQualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java
Log Message:
-----------
Nullness: fix KeyFor and method-reference errors in typeinference8 (#8309)