https://github.com/dotnet/fsharp/assets/5451366/3aeee0fa-7e4c-40d8-9b60-8d697d17cf52 This code: ```fsharp type IA<'b> = abstract Foo : int -> int type = IB<'b> = inherit IA<'b> inherit IA<int> ``` This is quite an odd scenario for this diag, I guess we just shouldn't trigger it there.