fun <R : Number> Number.convert(): R {
  TODO()
}

fun foo(arg: Number) {
}

fun main(args: Array<String>) {
  val x: Int = 0
  foo(arg = convert<Number>($receiver = x))
}

