sink|> ignore

ifnot isOptional&&

ifnot isOptional&&

not(DispatchSlotIsAlreadyImplemented g amap m availPriorOverridesKeyed dispatchSlot)

for minfoin reqdTy|> GetIntrinsicMethInfosOfType infoReader(None,AccessibleFromSomewhere,AllowMultiIntfInstantiations.Yes) IgnoreOverrides reqdTyRangedo

if minfo.IsDispatchSlotthen

yield RequiredSlot(minfo,(*isOptional=*)false)]

yield RequiredSlot(minfo,(*isOptional=*)not minfo.IsAbstract)]

if memberFlags.IsOverrideOrExplicitImpl then

// for error detection, we want to compare finality when testing for equivalence

let makeUniqueBySig meths = meths |> ListSet.setify (MethInfosEquivByNameAndSig EraseNone false cenv.g cenv.amap m)

let methInfosEquivByNameAndSig meths =

match meths with

| [] -> false

| head :: tail ->

tail |> List.forall (MethInfosEquivByNameAndSig EraseNone false cenv.g cenv.amap m head)

match memberFlags.MemberKind with

| MemberKind.Member ->

let dispatchSlots, dispatchSlotsArityMatch =

| slots ->

match dispatchSlotsArityMatch with

| meths whenmeths |> makeUniqueBySig |> isSingleton -> meths

| meths whenmethInfosEquivByNameAndSig meths -> meths

| [] ->

let details =

slots

|>List.map (NicePrint.stringOfMethInfo cenv.amap m envinner.DisplayEnv)

|>Seq.map (NicePrint.stringOfMethInfo cenv.amap m envinner.DisplayEnv)

|> Seq.map (sprintf "%s %s" System.Environment.NewLine)

|> String.concat ""