Skip to content

Tests the scenario when calling protected static base member from static do #17484

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

Merged
merged 5 commits into from
Aug 7, 2024
Merged

Tests the scenario when calling protected static base member from static do #17484

merged 5 commits into from
Aug 7, 2024

Conversation

edgarfgp
Copy link
Contributor

@edgarfgp edgarfgp commented Aug 2, 2024

Description

It seems that the linked issue not longer happens when --realsig+ is enabled. So this PR adds tests to demonstrate this

Checklist

  • Test cases added

@edgarfgp edgarfgp requested a review from a team as a code owner August 2, 2024 16:41
@edgarfgp edgarfgp added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Aug 2, 2024
@edgarfgp edgarfgp changed the title tests when calling protected static base member from static do Tests the scenario when calling protected static base member from static do Aug 2, 2024
Copy link
Contributor

github-actions bot commented Aug 2, 2024

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

Copy link
Member

@psfinaki psfinaki left a comment

Choose a reason for hiding this comment

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

Thanks for looking into it and testing!

@KevinRansom @vzarytovskii do we have an ambition to make it work with realsig- as well, or should we just close the issue for good?

@psfinaki psfinaki enabled auto-merge (squash) August 5, 2024 11:34
@edgarfgp edgarfgp closed this Aug 5, 2024
auto-merge was automatically disabled August 5, 2024 19:47

Pull request was closed

@edgarfgp edgarfgp reopened this Aug 5, 2024
@edgarfgp edgarfgp requested a review from KevinRansom August 5, 2024 19:47
Copy link
Member

@KevinRansom KevinRansom left a comment

Choose a reason for hiding this comment

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

Thank you for highlighting the super-old issue and adding these tests. I will see what can be done to make realsig- succeed in this case. We don't really want there to be a behaviour difference between on and off.

@edgarfgp edgarfgp closed this Aug 7, 2024
@edgarfgp edgarfgp reopened this Aug 7, 2024
@psfinaki
Copy link
Member

psfinaki commented Aug 7, 2024

/azp run

Copy link

Azure Pipelines successfully started running 2 pipeline(s).

@psfinaki
Copy link
Member

psfinaki commented Aug 7, 2024

/azp run

@psfinaki psfinaki enabled auto-merge (squash) August 7, 2024 13:44
Copy link

Azure Pipelines successfully started running 2 pipeline(s).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants