New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Remove bogus `@Nullable` annotation from `DataInputStream.read`. #69

Open

cpovirk wants to merge 1 commit into main from dis

Collaborator

cpovirk commented Sep 27, 2024

I suspect that this was just an accident from the large initial commit
of Checker Framework annotations:
https://github.com/typetools/jdk/blame/f4d40f209b5b6e229199a6c134b105d54d9241dd/src/java.base/share/classes/java/io/DataInputStream.java#L113


          Remove bogus @Nullable annotation from DataInputStream.read.

b67e1d8

I suspect that this was just an accident from the large initial commit
of Checker Framework annotations:
https://github.com/typetools/jdk/blame/f4d40f209b5b6e229199a6c134b105d54d9241dd/src/java.base/share/classes/java/io/DataInputStream.java#L113

cpovirk assigned wmdietl

cpovirk requested a review from wmdietl

September 27, 2024 18:14

cpovirk force-pushed the main branch from 6d77d62 to cbe846f Compare

September 30, 2024 12:41

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet