// WITH_RUNTIME

fun foo() {
    val t = java.lang.Double.<caret>toString(5.0)
}