https://github.com/search?q=repo%3Adotnet%2Ffsharp+%22https%3A%2F%2Fgithub.com%2Fdotnet%2Ffsharp%2Fissues%2F19557%22&type=code Hits will come in after https://github.com/dotnet/dotnet/pull/5909 is merged and flowed back.
https://github.com/search?q=repo%3Adotnet%2Ffsharp+%22https%3A%2F%2Fgithub.com%2Fdotnet%2Ffsharp%2Fissues%2F19557%22&type=code
Hits will come in after dotnet/dotnet#5909 is merged and flowed back.