Fix #12386, SRTP trait call correct overload resolution in multi-submit FSI scenario#19471

Open

T-Gro wants to merge 3 commits intomainfrom

regression-test/issue12386

Commits on Apr 14, 2026

Fix SRTP overload resolution across FSI submissions (#12386)

T-Gro
and
Copilot
committed
Add regression test for #12386: SRTP trait call correct overload resolution

T-Gro
and
Copilot
committed
Fix fantomas formatting in TypedTreeOps.Remap.fs

T-Gro
and
Copilot
committed