Skip to content

Remove @NullMarked from java.lang.#122

Merged
cpovirk merged 1 commit intomainfrom
unmarklang
Mar 22, 2025
Merged

Remove @NullMarked from java.lang.#122
cpovirk merged 1 commit intomainfrom
unmarklang

Conversation

@cpovirk
Copy link
Copy Markdown
Collaborator

@cpovirk cpovirk commented Feb 7, 2025

Fixes #112

Copy link
Copy Markdown
Collaborator

@wmdietl wmdietl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry, I missed these PRs.
Relying on class-level annotations sounds good. I've filed a follow up issue to make sure this annotation would even be recognized by EISOP.

@wmdietl wmdietl assigned cpovirk and unassigned wmdietl Mar 22, 2025
@cpovirk cpovirk merged commit b83164a into main Mar 22, 2025
@cpovirk cpovirk deleted the unmarklang branch March 22, 2025 02:46
@cpovirk
Copy link
Copy Markdown
Collaborator Author

cpovirk commented Mar 22, 2025

No worries. I won't hesitate to email you directly if I'm ever somehow in an actual hurry :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

package-info for java.lang contains @NullMarked

2 participants