[main] Source code updates from dotnet/dotnet

[dotnet-maestro]

Note

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

This pull request brings the following source code changes

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

• Subscription: 33aad187-a5d7-4947-b09f-777f8ea29e81
• Build: 20260114.7 (297286)
• Date Produced: January 14, 2026 3:24:15 PM UTC
• Commit: 887f3d5a26e1001ee2777afde10cadcacb8cc735
• Commit Diff: 7b9ad20...887f3d5
• Branch: main

Associated changes in source repos

• dotnet/efcore@347ab47...d52eb38
• dotnet/msbuild@2392c79...bd54b25
• dotnet/razor@2d8783f...53776e4
• dotnet/roslyn@e97b493...52e8114

Diff the source with this PR branch

darc vmr diff --name-only https://github.com/dotnet/dotnet:887f3d5a26e1001ee2777afde10cadcacb8cc735..https://github.com/dotnet/fsharp:darc-main-c2cb2ea6-906d-43d6-8e0b-1aaf17d287d6

[github-actions]

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

[T-Gro]

/run ilverify

[github-actions]

🔧 CLI Command Report

• Command: /run ilverify
• Outcome: success

✅ Command succeeded, no changes needed.

[dotnet-maestro]

Important

While this PR was open, the source repository has received code changes from this repository (an opposite codeflow merged).
To avoid complex conflicts, the codeflow cannot continue until this PR is closed or merged.

You can continue with one of the following options:

• Ignore this and merge this PR as usual without waiting for the new changes.
  Once merged, Maestro will create a new codeflow PR with the new changes.
• Close this PR and wait for Maestro to open a new one with old and new changes included.
  You will lose any manual changes made in this PR.
  You can also manually trigger the new codeflow right away by running:

  darc trigger-subscriptions --id 33aad187-a5d7-4947-b09f-777f8ea29e81
  

• Force a codeflow into this PR at your own risk if you want the new changes.
  User commits made to this PR might be reverted.

  darc trigger-subscriptions --id 33aad187-a5d7-4947-b09f-777f8ea29e81 --force
  

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