Should we revert https://github.com/dotnet/fsharp/pull/15982 now? _Originally posted by @0101 in https://github.com/dotnet/fsharp/issues/15972#issuecomment-1790904874_
Should we revert #15982 now?
Originally posted by @0101 in #15972 (comment)