karelpeeters
val x = "hello" val y: Any = "hello" noString(x) //you want to disallow this noString(y) //but this will always be possible