trait T1 {
  def foo(x: String*): Int
}