search

fsharp / fslang-design

RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
518 stars 144 forks source link

Update FS-1124-interfaces-with-static-abstract-members.md #678

Closed dsyme closed 2 years ago

dsyme commented 2 years ago

Add another probelamtic a case, and also note that we should check that type inference works well for

let f (x: #INumber<_>) (y: #INumber<_>) = x + y

or

let f (x: #INumber<_>) y = x + y

As an aside it's interesting that this brings back a use for #ty constrained types.