[typetools/checker-framework] 37845c: Rename Shrinkable to CanShrink, to accommodate a f...

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 37845c817a018f0ddb338e260b4099aa0536b0f7
https://github.com/typetools/checker-framework/commit/37845c817a018f0ddb338e260b4099aa0536b0f7
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-02-01 (Sun, 01 Feb 2026)

Changed paths:
M checker-qual/src/main/java/org/checkerframework/checker/index/qual/BottomGrowShrink.java
A checker-qual/src/main/java/org/checkerframework/checker/index/qual/CanShrink.java
R checker-qual/src/main/java/org/checkerframework/checker/index/qual/Shrinkable.java
A checker-qual/src/main/java/org/checkerframework/checker/index/qual/UncheckedCanShrink.java
R checker-qual/src/main/java/org/checkerframework/checker/index/qual/UncheckedShrinkable.java
M checker/src/main/java/org/checkerframework/checker/index/growonly/GrowOnlyAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/index/growonly/GrowOnlyChecker.java
M checker/tests/index-listindexing/GrowOnlyJdkTest.java
M checker/tests/index-listindexing/GrowShrinkHierarchyTest.java
M docs/developer/mutable-index-checking-advanced.md
M docs/developer/mutable-index-checking-project.md
M docs/manual/figures/index-mutability.svg
M docs/manual/index-checker.tex

Log Message:
-----------
Rename Shrinkable to CanShrink, to accommodate a future checker



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications