[main] Source code updates from dotnet/fsharp

[dotnet-maestro]

Note

This is a codeflow update. It may contain both source code changes from
the source repo
as well as dependency updates. Learn more here.

This pull request brings the following source code changes

From https://github.com/dotnet/fsharp

• Subscription: 849f1809-6e35-479f-9764-9b3e44c0c1ab
• Build: 20260703.5 (321395)
• Date Produced: July 3, 2026 6:06:47 PM UTC
• Commit: be5bb60cc10213b7cd4f35e8dd87900e754bbf69
• Commit Diff: edc2513...be5bb60
• Branch: main

Diff the source with this PR branch

darc vmr diff --name-only https://github.com/dotnet/fsharp:be5bb60cc10213b7cd4f35e8dd87900e754bbf69..https://github.com/dotnet/dotnet:darc-main-3937b712-3b32-41ab-b6e8-adacf11e12f7

[dotnet-maestro]

Note

PRs from original repository included in this codeflow update:

• Report FS0039 only once for undefined type in inherit clause fsharp#19862
• Fix #16419: report seq implicit-yield format specifiers and diagnostics once fsharp#19895
• Insert release notes at a random line to avoid merge conflicts fsharp#20008
• Add regression test for cross-assembly private-constructor record equality fsharp#20009
• Fix Go-to-Definition for provided constructors without definition location fsharp#19917
• Avoid false FS1113 on inline instance members with class-scope self identifiers fsharp#19761
• Add computation-expression tests for warning 20 range fsharp#19992

💡 You may consult the FAQ for more information or tag @dotnet/prodconsvcs for assistance.

[dotnet-maestro]

This pull request only contains source updates from https://github.com/dotnet/fsharp between commits edc2513c558f2b5ccac4021b97f11c712ceb97d9 and fc3ee065e1b938b8af3a0b50e32d691f73f5856f.

[dotnet-maestro]

Note

PRs from original repository included in this codeflow update:

• Add code-compaction skill for shrinking bloated diffs fsharp#19954
• Fix spurious type errors for provided types under parallel compilation fsharp#19969
• Debugger: prefer no inlining in non-optimized builds fsharp#19548
• Don't ReadyToRun-publish the proto tools on ppc64le (no crossgen2) fsharp#20007
• Fix packaging of design-time providers referenced via ProjectReference fsharp#19979
• Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 3013061 fsharp#19902
• Stop FSI from mutating script arguments after -- separator fsharp#19926
• Fix missing semantic classification in nested copy-and-update expressions fsharp#19878
• Optimizer: eliminate unused Unchecked.defaultof<'T> bindings fsharp#19758
• Fix named-argument completion stopping after first arg for methods fsharp#19940

💡 You may consult the FAQ for more information or tag @dotnet/prodconsvcs for assistance.

[dotnet-maestro]

This pull request only contains source updates from https://github.com/dotnet/fsharp between commits edc2513c558f2b5ccac4021b97f11c712ceb97d9 and cceb2b832d875be1a777ec10882167603350d0c0.

[dotnet-maestro]

Note

PRs from original repository included in this codeflow update:

• Allow address-of for type-instantiated generalized let bindings fsharp#19948
• Fix #16268: classify IDisposable in type-occurrence positions as Interface, not DisposableType fsharp#19809
• Attach DebuggableAttribute to FSI multi-emit manifests under --debug+ fsharp#19921

💡 You may consult the FAQ for more information or tag @dotnet/prodconsvcs for assistance.

[dotnet-maestro]

This pull request only contains source updates from https://github.com/dotnet/fsharp between commits edc2513c558f2b5ccac4021b97f11c712ceb97d9 and be5bb60cc10213b7cd4f35e8dd87900e754bbf69.