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

Propose relaxed ordering for partial and ref modifiers #8134

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

RikkiGibson
Copy link
Contributor

dotnet/roslyn#73090
#946

Spec'ing this related small feature as the partial properties speclet said we would do.

@RikkiGibson RikkiGibson requested a review from a team as a code owner May 17, 2024 00:20

```diff
property_declaration
- : attributes? property_modifier* type member_name property_body
+ : attributes? property_modifier* 'partial'? type member_name property_body
Copy link
Contributor Author

Choose a reason for hiding this comment

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

reading diffs of diffs can be challenging even in simple cases like this, so consider just reading the old version then the new version to understand what's going on.

Copy link
Member

@333fred 333fred left a comment

Choose a reason for hiding this comment

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

Love it.

@RikkiGibson
Copy link
Contributor Author

@jcouv suggested this aspect of the feature could probably wait till after merge to main. I will probably leave this PR open until it's time to do that work (which shouldn't be too long).

@jcouv jcouv self-assigned this May 22, 2024
@RikkiGibson
Copy link
Contributor Author

We still want to do this but will be punting impl work on it out to .NET 10.

@jcouv
Copy link
Member

jcouv commented Jul 9, 2024

We still want to do this but will be punting impl work on it out to .NET 10.

Should this go into a separate proposal then?

@RikkiGibson
Copy link
Contributor Author

Yeah I'll push such a change to this PR when I get the chance.

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.

None yet

3 participants