Changed paths:
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/units/UnitsAnnotatedTypeFactory.java
M checker/tests/ainfer-testchecker/non-annotated/InterfaceTest.java
A checker/tests/nullness/Issue4923.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java
Log Message:
-----------
All types are immutable for nullness. Field visibility shouldn't matter.