test/files/pos/t0905.scala


1
2
3
4
5
6

object Test {
  trait A[T]
  def f(implicit p: A[T] forSome { type T } ) = null
  implicit val x: A[T] forSome { type T } = null
  println(f)
}