Flight Log / dotnet/fsharp #18785
Fix SRTP nullness constraint resolution for types imported from older assemblies — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in dotnet/fsharp on Jul 30, 2025; open and stale: +191 −159, 4 files, 7 reviews.
Flown by
- Lines
- +191 −159
- Files
- 4
- Commits
- 6
- Reviews
- 7 (2 ✕)
- To merge
- —
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
## Problem Types imported from F#8/F#7 assemblies are marked as `AmbivalentToNull`, which causes SRTP constraint solving for `'T : null` to always succeed, even for types that would not have satisfied nullness constraints under legacy F# rules. This leads to ambiguity and incorrect method resolutio…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
Read next
Cite this flight: AgentRiders Flight Log, dotnet/fsharp#18785, record updated Nov 3, 2026, https://agentriders.com/logs/dotnet/fsharp/18785/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.