Набор Scala вводит для фильтра

Предположите, что у Вас есть Список (1, "1") он вводится Список [Любой], который, конечно, корректен и ожидается. Теперь, если я отображаю список как это

scala> List(1, "1") map {
     |   case x: Int => x
     |   case y: String => y.toInt
     | }

получающийся тип является Списком [Интервал], который ожидается также. Мой вопрос состоит в том, если существует эквивалент для отображения для фильтра, потому что следующий пример приведет к Списку [Любой]. Действительно ли это возможно? Я предполагаю, что это могло быть решено во время компиляции и возможно не время выполнения?

scala> List(1, "1") filter {
     |   case x: Int => true
     |   case _ => false
     | }