[typetools/annotation-tools] 4d8d43: Remove redundant casts. (#732)

0 views

Skip to first unread message

unread,

Jul 3, 2025, 1:03:57 PM7/3/25

to annotation...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/annotation-tools
Commit: 4d8d43deadb122af8b88a5ae0d0623b227637a23
https://github.com/typetools/annotation-tools/commit/4d8d43deadb122af8b88a5ae0d0623b227637a23
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-07-03 (Thu, 03 Jul 2025)

Changed paths:
A SKIP-REQUIRE-JAVADOC
M annotation-file-utilities/build.gradle
M annotation-file-utilities/src/test/java/org/checkerframework/afu/scenelib/test/classfile/TestSceneLib.java
M annotation-file-utilities/src/test/java/org/checkerframework/afu/scenelib/test/executable/Example.java

Log Message:
-----------
Remove redundant casts. (#732)

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

Reply all

Reply to author

Forward

0 new messages