Skip to content

Bugfix :: SRTP - ApplyDefaults for TyparConstraint.MayResolveMember #19218

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.

Sign up for GitHub

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

Jump to bottom
Draft
T-Gro wants to merge 11 commits into
base: main
Choose a base branch
from
Draft

Bugfix :: SRTP - ApplyDefaults for TyparConstraint.MayResolveMember #19218

T-Gro wants to merge 11 commits into from
+242 −67

Conversation

@T-Gro
Copy link
Member

@T-Gro T-Gro commented Jan 17, 2026 •
edited
Loading

Fixes a regression introduced in .NET 9 SDK that caused FSharpPlus curryN-style SRTP patterns to fail with FS0030 (value restriction error).

Root Cause

The FreshenTypar function (added for Interfaces with Abstract Static Members) clears StaticReq to None when refreshing type parameters. However, ApplyDefaults in CheckDeclarations.fs only solved typars where StaticReq <> None, missing SRTP typars that have MayResolveMember constraints but no explicit static requirement set.

Fix

Extended ApplyDefaults to also solve typars that have MayResolveMember constraints, regardless of their StaticReq value.

@github-actions
Copy link
Contributor

github-actions bot commented Jan 17, 2026 •
edited
Loading

❗ Release notes required

✅ Found changes and release notes in following paths:

Change path Release notes path Description
src/Compiler docs/release-notes/.FSharp.Compiler.Service/10.0.200.md

@T-Gro
Copy link
Member Author

T-Gro commented Jan 17, 2026

/run ilverify

@github-actions
Copy link
Contributor

github-actions bot commented Jan 17, 2026

🔧 CLI Command Report

  • Command: /run ilverify
  • Outcome: success

✅ Command succeeded, no changes needed.

T-Gro
T-Gro commented Jan 17, 2026
View reviewed changes
T-Gro
T-Gro commented Jan 17, 2026
View reviewed changes
T-Gro
T-Gro commented Jan 18, 2026
View reviewed changes
T-Gro
T-Gro commented Jan 18, 2026
View reviewed changes
Copilot AI mentioned this pull request Jan 19, 2026
Closed
Copilot AI added a commit that referenced this pull request Jan 19, 2026
@T-Gro
Add release notes for PR #19218
e07aa46 
Co-authored-by: T-Gro <[email protected]>
@dotnet dotnet deleted a comment from Copilot AI Jan 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

F# Compiler and Tooling
Status: New

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@T-Gro