Allow implementation of generic methods with constraints of the form 'T :> 'U
Currently this is solved as 'a = 'b.
This limitation does not exists in C# and it makes impossible to interact with some existing libraries, as in this case http://stackoverflow.com/questions/23643989/is-it-possible-to-implement-the-idbsett-interface-in-f
This will also allow to work around F#'s lack of generic (co/contra)-variance.
Robin Munn commented
All suggestions were migrated from User Voice to Github. This one can be found here:
Any further discussion should happen on that Github issue, and voting should be done by reactions on the issue (either thumbs-up or thumbs-down).
Daniel Little commented
Why is this suggestion closed?
Isaac Abraham commented
What makes you think they were suggested by the core team? You can see the names of people that have raised each of the completed features.
Twitter link is: https://twitter.com/dsyme
Maybe you can tweet him with this. But completed features have a very low vote count generally: https://fslang.uservoice.com/forums/245727-f-language/status/1225916. Possibly suggested by the core team.
exercitus vir commented
Could Don Syme or someone from the F# team comment on whether this can be realized?