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 the list of attributes that support nullable analysis. #1191

Merged
merged 15 commits into from
Nov 20, 2024

Conversation

BillWagner
Copy link
Member

Fixes #1092

Based on the last meeting, list the attributes so that their function is normative, however a compiler need not issues warnings based on these rules.

Copy link
Contributor

@Nigel-Ecma Nigel-Ecma left a comment

Choose a reason for hiding this comment

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

An early review, just comments. In general I’m not sure the must/may language is correct. I haven’t gone through all the examples so no comments there but a glance suggests I'd have similar queries – but examples are informative…

standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
@BillWagner BillWagner marked this pull request as ready for review October 24, 2024 20:15
@BillWagner BillWagner added the meeting: discuss This issue should be discussed at the next TC49-TG2 meeting label Oct 24, 2024
Copy link
Contributor

@Nigel-Ecma Nigel-Ecma left a comment

Choose a reason for hiding this comment

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

Just another bunch of comments

standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
Copy link
Contributor

@jskeet jskeet left a comment

Choose a reason for hiding this comment

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

One more suggested change, but basically fine. (Thanks!)

standard/attributes.md Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
Copy link
Contributor

@Nigel-Ecma Nigel-Ecma left a comment

Choose a reason for hiding this comment

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

A couple more comments

standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
BillWagner and others added 14 commits November 11, 2024 12:59
Include all the nullable analysis attributes in the spec. This will be edited heavily and shrunk down to a smaller set of normative text.
Co-authored-by: Nigel-Ecma <[email protected]>
Co-authored-by: Jon Skeet <[email protected]>
When the `DoesNotReturn` attribute is parsed by a compiler that provides nullable diagnostics, that attribute can't impact reachable code analysis.
@gafter gafter added this to the C# 8.0 milestone Nov 20, 2024
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
standard/attributes.md Outdated Show resolved Hide resolved
Co-authored-by: Neal Gafter <[email protected]>
Co-authored-by: Joseph Musser <[email protected]>
@BillWagner BillWagner merged commit f4ebeb4 into dotnet:draft-v8 Nov 20, 2024
7 checks passed
@BillWagner BillWagner deleted the nullable-attribute-list branch November 20, 2024 20:37
BillWagner added a commit that referenced this pull request Nov 22, 2024
These two attributes were mistakenly added in #1191.  They were removed in #1218

This PR adds them back into the `draft-v9` branch, where they are valid.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
meeting: discuss This issue should be discussed at the next TC49-TG2 meeting
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Nullable Reference Types] Specify behavior for nullable analysis attributes
5 participants