[typetools/checker-framework] f3dee6: Add example to documentation of skipReceiverSubtyp...
2 views
Skip to first unread message
Sascha Kehrli
Jul 18, 2024, 1:08:45 PMJul 18
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: f3dee6c2a7220def2b5b487a4ec1b08bc21d5c0c
https://github.com/typetools/checker-framework/commit/f3dee6c2a7220def2b5b487a4ec1b08bc21d5c0c
Author: Sascha Kehrli <84683849...@users.noreply.github.com>
Date: 2024-07-18 (Thu, 18 Jul 2024)
Changed paths:
M checker/src/main/java/org/checkerframework/checker/mustcall/MustCallVisitor.java
M docs/manual/contributors.tex
Log Message:
-----------
Add example to documentation of skipReceiverSubtypeCheck
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Home: https://github.com/typetools/checker-framework
Commit: f3dee6c2a7220def2b5b487a4ec1b08bc21d5c0c
https://github.com/typetools/checker-framework/commit/f3dee6c2a7220def2b5b487a4ec1b08bc21d5c0c
Author: Sascha Kehrli <84683849...@users.noreply.github.com>
Date: 2024-07-18 (Thu, 18 Jul 2024)
Changed paths:
M checker/src/main/java/org/checkerframework/checker/mustcall/MustCallVisitor.java
M docs/manual/contributors.tex
Log Message:
-----------
Add example to documentation of skipReceiverSubtypeCheck
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