test/files/pos/t2444.scala


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

object Test {

  trait Foo

  class Bar {
    object baz extends Foo
  }

  def frob[P1, P2<:Foo](f:P1 => P2) = ()

  def main(args:Array[String]) : Unit = {
	frob((p:Bar) => p.baz)
  }

}