結論からいうと、mutating setな関数は、例え引数に型引数を持っていても、contravariantにならない