blob: 0c5f5dfe6f2100fb7e80cfcf87243feedbf440a3 (
plain) (
tree)
|
|
object Test {
def g[S, T <: S](s: S)(t: T): Unit = println("")
g("a")("a") // error: inferred type arguments [java.lang.String] do not conform to method g's type parameter bounds [T <: S]
}
|