tests/pos/i1036.scala


1
2
3
4
5
6
7
8
9
10
11
12

object Test {
  def second[sA, sB <: sA](foo: sA, bar: sB): sB = bar
  def third[A, B >: A](foo: A, bar: B): B = bar
  def expectString(s: String) = s

  def test = {
    val x = second(Set.empty[String], Set.empty)
    x map expectString
    second(Set.empty[String], Set.empty) map expectString
    third(Set.empty[String], Set.empty) map expectString
  }
}