RSRP-287423: error CS0425: The constraints for type parameter 'S' of method 'C.Foo()' must match the constraints for type parameter 'S' of interface method 'IB.Foo()'. Consider using an explicit interface implementation instead.

interface IA { }

interface IB : IA
{
    void Foo<T, S>()
        where T : IB
        where S : IB, T;
}

class C : IB
{
    public void Foo<T, S>()
        where T : IB
        where S : IA, T
    {
    }
}