[typetools/checker-framework] 699348: Give big anonymous class a name (#7257)

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 6993486ae72874f98747c7ae3c778e124df875c8
https://github.com/typetools/checker-framework/commit/6993486ae72874f98747c7ae3c778e124df875c8
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-12 (Fri, 12 Sep 2025)

Changed paths:
M SKIP-REQUIRE-JAVADOC
M annotation-file-utilities/src/main/java/org/checkerframework/afu/scenelib/io/ASTIndex.java

Log Message:
-----------
Give big anonymous class a name (#7257)



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