We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fe12f46 commit 979e572Copy full SHA for 979e572
tests/pos/i1036.scala
@@ -1,10 +1,12 @@
1
object Test {
2
def second[sA, sB <: sA](foo: sA, bar: sB): sB = bar
3
+ def third[A, B >: A](foo: A, bar: B): B = bar
4
def expectString(s: String) = s
5
6
def test = {
7
val x = second(Set.empty[String], Set.empty)
8
x map expectString
9
second(Set.empty[String], Set.empty) map expectString
10
+ third(Set.empty[String], Set.empty) map expectString
11
}
12
0 commit comments