So the contravariant rule is not safe.
所以逆变规则是不安全的。