[typetools/checker-framework] 808741: Add Jtreg test case for issue #8055. (#8056)

0 views
Skip to first unread message

Suzanne Millstein

unread,
Aug 25, 2026, 3:53:14 PM (5 days ago) Aug 25
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 808741430d5085583e89f87f1a32fbb3895344a7
https://github.com/typetools/checker-framework/commit/808741430d5085583e89f87f1a32fbb3895344a7
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-08-25 (Tue, 25 Aug 2026)

Changed paths:
A checker/jtreg/missingclassfile/ClassLiteral.java
A checker/jtreg/missingclassfile/DeleteMissingClassFile.java
A checker/jtreg/missingclassfile/Field.java
A checker/jtreg/missingclassfile/Issue8055.java
A checker/jtreg/missingclassfile/MethodCall.java
A checker/jtreg/missingclassfile/Ok.java
A checker/jtreg/missingclassfile/Parameter.java
A checker/jtreg/missingclassfile/libsrc/Box.java
A checker/jtreg/missingclassfile/libsrc/Factory.java
A checker/jtreg/missingclassfile/libsrc/MemberOnly.java
A checker/jtreg/missingclassfile/libsrc/Missing.java
A checker/jtreg/missingclassfile/libsrc/SuperTypeArg.java

Log Message:
-----------
Add Jtreg test case for issue #8055. (#8056)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages