Skip to content

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
@github-actions
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
Contributor

@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
Contributor

@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
Contributor

psfinaki commented Aug 7, 2024

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 2 pipeline(s).

@psfinaki
Copy link
Contributor

psfinaki commented Aug 7, 2024

/azp run

@psfinaki psfinaki enabled auto-merge (squash) August 7, 2024 13:44
@azure-pipelines
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