Skip to content

improve null-safe class detection#38

Merged
wakingrufus merged 1 commit intomainfrom
improve-nullsafe
Mar 16, 2026
Merged

improve null-safe class detection#38
wakingrufus merged 1 commit intomainfrom
improve-nullsafe

Conversation

@wakingrufus
Copy link
Copy Markdown
Member

@wakingrufus wakingrufus commented Mar 13, 2026

package-level @NullMarked annotation is now recognized

@wakingrufus wakingrufus requested a review from emilyyuan03 March 13, 2026 20:33
@wakingrufus wakingrufus force-pushed the improve-nullsafe branch 3 times, most recently from edc7f5a to 89f075e Compare March 13, 2026 20:42
package-level ``@NullMarked` annotation is now recognized
@wakingrufus wakingrufus merged commit f27e13e into main Mar 16, 2026
3 checks passed
@wakingrufus wakingrufus deleted the improve-nullsafe branch March 16, 2026 16:33
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.

1 participant