[typetools/checker-framework] 2e9b36: Test case for issue #4924

0 views
Skip to first unread message

Michael Ernst

unread,
Oct 13, 2021, 6:11:26 PMOct 13
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 2e9b3613945fe0b30b68a543ab6e0fc7f8e34fd5
https://github.com/typetools/checker-framework/commit/2e9b3613945fe0b30b68a543ab6e0fc7f8e34fd5
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2021-10-13 (Wed, 13 Oct 2021)

Changed paths:
A checker/tests/nullness/Issue4924.java
M checker/tests/nullness/OverrideGenerics.java

Log Message:
-----------
Test case for issue #4924


Reply all
Reply to author
Forward
0 new messages