smart-cast-to-kotlin-string