泛型 – 通用类型统一：多个参数(T,T)与多个参数列表(T)(T)？

scala> def x[T](a: T,b: T) = (a == b)
x: [T](a: T,b: T)Boolean
scala> def y[T](a: T)(b: T) = (a == b)
y: [T](a: T)(b: T)Boolean

我的直觉是x(1,“one”)和y(1)(“one”)都应该给出类型错误,但我错了：

scala> x(1,"one")
res71: Boolean = false
scala> y(1)("one")
<console>:9: error: type mismatch;
 found   : java.lang.String("one")
 required: Int
              y(1)("one")
                   ^

起初我以为有某种隐式演员正在进行,但事实似乎并非如此：

scala> x(1 :Int,"one" :String)
res73: Boolean = false

发生什么了？我的直觉应该是什么？