class Base<T>
{
    public virtual void Foo<S>(S x) where S : T
    {}
}

class Derived : Base<byte>
{
    public override void Foo<S>(S x)
    {
    }
    
    static void Bar()
    {
       new Derived().Foo(-1); // here
    }
}