blob: bfc4754779c6e60bd7bc3e819a975bc7987e4863 (
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]
}
|