Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/FalseBoundException.java
A framework/tests/all-systems/Issue7489.java
Log Message:
-----------
Fix type of method references in inference. (#7545)