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) 
  }

}