path: root/tests/untried/pos/t4257.scala

object Test {

  class SA[@specialized(Int) A] {
    def o[U](f: ((Int, A) => Any)): Unit = {}

    def o[U](f: A => Any): Unit = {}
  }

  class X[@specialized(Int) B] {
    def x(b: B) = {
      new SA[B]().o((x: Any) => x)
    }
  }
}