Scala模式多次匹配同一类型参数

我希望模式匹配元组中的项,其中项具有相同的类型,包括类型参数。我的用例相当复杂,但我试图在这里提取一个最小的示例来说明问题:

class Foo[T] { }

val input = ( new Foo[String], new Foo[String] )

input match {
  case (a:Foo[x], b:Foo[x]) =>
    // Do things that rely on a and b having exactly the same type
}

但这无法编译,因为我正在使用 x 在case语句中两次。编译时出现以下错误:

error: x is already defined as type x

我已经尝试过更改匹配,以拉出两个输入的不同类型参数,然后测试它们的相等性:

input match {
  case (a:Foo[x], b:Foo[y]) if (x == y) =>
    // Do things that rely on a and b having exactly the same type
}

但它无法编译,导致错误

error: not found: value x

是否有一些Scala语法可以用来将两种类型匹配为相同的、未指定的类型?我正在运行Scala 2.9.2