object A {
  def f1[T <: Int](x: Int): Int = 1
}