// In a call of s[T](x: T)(y: T)
// the type of argument y isn't being considered when determining T
// Perhaps this is intentional, I'm not sure.

class B {}

class D extends B {}

object Test extends Application
{
    def p[T](y: T, x: T): Unit = {}
    def q[T](y: T)(x: T): Unit = {}
    def r[T](x: T, y: T): Unit = {}
    def s[T](x: T)(y: T): Unit = {}

    val b = new B
    val d = new D

    p(b, d)
    q(b)(d)
    r(d, b)
    s(d)(b)
}