Run »
fun main() { val x: Int = 5 val y: Long = x println(y) }
demo_type_conv.kt:3:17: error: type mismatch: inferred type is Int but Long was expected
val y: Long = x
^