Образец соответствия «Любой» как 2-кортеж?

Question

Учитывая следующую функцию:

scala> def foo(x: Any) = x match { 
    | case _: (String, Int) => "foo" 
    | case _    => "bar" 
    | } 

Я получаю предупреждение следующего времени компиляции:

<console>:8: warning: non-variable type argument String in type pattern (String, Int) is unchecked since it is eliminated by erasure 
     case _: (String, Int) => "foo" 
       ^
foo: (x: Any)String 

Моего пониманием JVM стирание, а именно для List[T], является то, что во время выполнения, виртуальная машина не знает тип T.

Пожалуйста, объясните причину вышеприведенного is unchecked since it is eliminated by erasure для попытки сопоставления образцов по 2-мя кортежа.

Answer 1

Типы элементов - это только параметры типа Tuple2.

Но вы можете:

scala> (("hi",42): Any) match { case (_: String, _: Int) => }