path: root/test/files/run/t5356.scala

object Test {
  def f(x: { def toInt: Int }) = println(x.toInt + " " + x.getClass.getName)
  
  def main(args: Array[String]): Unit = {
    f(1)
    f(1.toInt)
    f(BigInt(1))
    f(1d)
    f(1f)
    println((1: { def toInt: Int }).toInt)
  }
}