Stabilize ArrayList-backed `AnnotationMirrorSet` semantics and fix Index Checker regressions#1650

Closed

Copilot wants to merge 7 commits intoannomirrorsetfrom

copilot/sub-pr-1649

Commits on Apr 21, 2026

Fix AnnotationMirrorSet mutation semantics and deterministic order

Copilot
and
wmdietl
authored
Optimize sorted insertion and simplify AnnotationMirrorSet iterator

Copilot
and
wmdietl
authored
Initial plan
Copilot
authored
Agent-Logs-Url: https://github.com/eisop/checker-framework/sessions/bd40920e-0ba6-49b5-bc1e-16c2afb12f60

Copilot
and
wmdietl
authored
Restore set semantics in AnnotationMirrorSet and limit ordering to toString

Copilot
and
wmdietl
authored
Document toString sorting overhead as debug-only behavior

Copilot
and
wmdietl
authored
Fix char-to-int widening: use replaceAnnotation in ValueVisitor; revert AMS changes; fix ReadOnlyIter javadoc

Copilot
and
wmdietl
authored