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

Add support for [MemberNotNull] and [MemberNotNullWhen] #9

Closed
2 tasks done
manuelroemer opened this issue Mar 29, 2020 · 1 comment
Closed
2 tasks done

Add support for [MemberNotNull] and [MemberNotNullWhen] #9

manuelroemer opened this issue Mar 29, 2020 · 1 comment
Assignees
Labels
enhancement New feature or request

Comments

@manuelroemer
Copy link
Owner

manuelroemer commented Mar 29, 2020

New nullability attributes are currently being introduced (see https://github.com/dotnet/runtime/blob/master/src/libraries/System.Private.CoreLib/src/System/Diagnostics/CodeAnalysis/NullableAttributes.cs).

These should be added to Nullable as soon as:

  • They are available in a .NET release/are finalized and no longer prone to change.
  • It is verified that the compiler also supports them when they are declared as internal attributes (otherwise adding them to this package has no benefit).
@manuelroemer
Copy link
Owner Author

Will be available in 1.3.0.

@manuelroemer manuelroemer unpinned this issue Sep 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant