Skip to content

Conversation

@auduchinok
Copy link
Member

Adds another way of getting extended type which allows inspecting extended type parameter types.

@auduchinok auduchinok requested a review from a team as a code owner August 6, 2024 12:08
@github-actions
Copy link
Contributor

github-actions bot commented Aug 6, 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

@auduchinok auduchinok force-pushed the mfv-apparentContainingType branch 2 times, most recently from 09529b9 to ed5736b Compare August 6, 2024 12:20
@T-Gro T-Gro marked this pull request as draft August 14, 2024 17:44
@T-Gro
Copy link
Member

T-Gro commented Aug 14, 2024

Converted to draft until green, please mark as ready to review once this is ready to be merged.

@auduchinok auduchinok force-pushed the mfv-apparentContainingType branch from 962b1a4 to 6658d5f Compare September 2, 2024 13:56
@auduchinok auduchinok force-pushed the mfv-apparentContainingType branch 3 times, most recently from 6eb8bca to 654ce91 Compare September 19, 2024 12:38
@auduchinok
Copy link
Member Author

@vzarytovskii Could someone from MS team look at the changes needed in Editor project, please?

@auduchinok auduchinok force-pushed the mfv-apparentContainingType branch 2 times, most recently from 6ac094c to 44129e1 Compare September 18, 2025 10:40
@auduchinok auduchinok added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Sep 18, 2025
@auduchinok auduchinok marked this pull request as ready for review September 18, 2025 15:03
@auduchinok
Copy link
Member Author

This is ready 🙂

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Sep 22, 2025
@T-Gro T-Gro merged commit e0100ac into dotnet:main Sep 22, 2025
38 checks passed
@auduchinok auduchinok deleted the mfv-apparentContainingType branch September 22, 2025 13:37
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.

2 participants