Don Syme

Right now I'm trying to determine when/if this whole RFC is a breaking change. 1. I'm assuming it must be a breaking change, because additional methods are taken into account...

Added notes on the compat concerns here: https://github.com/fsharp/fslang-design/pull/430

I started to add some compatibility testing here: https://github.com/dotnet/fsharp/pull/6805/commits/f3901d07b5e5dc0e76122bf2b852c577f4afe938

I would like some contributions of the following if you can help... Please list the best examples (if any) that you know of for these: 1. Cases where a .NET...

Compiling FSharpPlus with this language feature enabled causes one compilation error - I'll look at it now https://github.com/fsprojects/FSharpPlus/issues/261#issuecomment-580253710

I've looked through the problem with FSharpPLus, and produced a minimum case, and it appears to be related to a more general problem with processing SRTP constraints, which is that...

@drvink Let me write some notes on a very core design point in how we process SRTP constraints, summarized **in generic inline code we apply weak resolution to constraints that...

> Since generic arithmetic is one of the major driving forces of this RFC, would you like to elaborate on the semantics of overload resolution in non-inline circumstances? For example,...

> Now that I read your explanation I think it's also weak resolution what forces me to write the "impossible" overload https://github.com/fsprojects/FSharpPlus/blob/eb79954c0c3bc95d71c8dc84670a02f5523705bc/src/FSharpPlus/Control/Functor.fs#L112 Yes, this is highly likely. This is almost...

@gusty @drvink See https://github.com/dotnet/fsharp/pull/8435 for more testing around some of the SRTP techniques used in FSharpPlus. Not all of them though :)