Observations

Хм, получается, что проверка на принадлежность может с тем же успехом принимать Any. Что, в общем, совершенно законно и понятно. Если перед нами тип Set[Integer], а мы хотим проверить, не сидит ли в нем какой-нибудь String, что нам мешает? Может ведь и сидеть, оно же ковариантное, там если там на самом деле могут быть объекты, которые наследуют и Integer и String.

ООП иногда бывает очень странным.