Skip to content

Remove always-on StaticMembersInInterfaces language feature flag - #20371

Merged
T-Gro merged 1 commit into
mainfrom
fix/issue-20188
Sep 1, 2026
Merged

Remove always-on StaticMembersInInterfaces language feature flag#20371
T-Gro merged 1 commit into
mainfrom
fix/issue-20188

Conversation

@T-Gro

@T-Gro T-Gro commented Aug 26, 2026

Copy link
Copy Markdown
Member

Fixes #20188

LanguageFeature.StaticMembersInInterfaces has been on for every accepted --langversion since F# 8.0, so its flag could never be turned off. Removed the dead flag and collapsed the guarded code to its enabled behaviour. --disableLanguageFeature:StaticMembersInInterfaces is no longer a recognised feature name.

Part of #20139

@T-Gro
T-Gro requested a review from a team as a code owner August 26, 2026 15:39
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Aug 26, 2026
@github-actions github-actions Bot added the AI-Tooling-Check-Bypassed Tooling check: non-fork PR, not diff-analyzed label Aug 26, 2026
@github-actions

Copy link
Copy Markdown
Contributor

⚠️ 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

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@T-Gro
T-Gro enabled auto-merge (squash) September 1, 2026 11:48
@T-Gro
T-Gro requested a review from abonie September 1, 2026 11:48
@github-project-automation github-project-automation Bot moved this from New to In Progress in F# Compiler and Tooling Sep 1, 2026
@T-Gro
T-Gro merged commit ccd0aca into main Sep 1, 2026
52 checks passed
@github-project-automation github-project-automation Bot moved this from In Progress to Done in F# Compiler and Tooling Sep 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AI-Tooling-Check-Bypassed Tooling check: non-fork PR, not diff-analyzed 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.

Remove always-on language feature flag: StaticMembersInInterfaces

2 participants