Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Support and declare nullability #15

Merged
merged 1 commit into from
Jun 17, 2022

Conversation

rstoyanchev
Copy link
Collaborator

This pull request adds and applies package private (JSR-305 meta-annotated) nullability annotations to make it easy to declare everything in the package as non-nullable by default, in order to only then have to explicitly annotate what may be nullable.

@marcingrzejszczak marcingrzejszczak added the enhancement A general enhancement label Jun 17, 2022
@marcingrzejszczak marcingrzejszczak added this to the 1.0.0-M3 milestone Jun 17, 2022
@marcingrzejszczak marcingrzejszczak merged commit c6aeffe into micrometer-metrics:main Jun 17, 2022
@rstoyanchev rstoyanchev deleted the nullability branch June 18, 2022 10:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement A general enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants