Verificaste la forma del valor: ¿por qué deberías volver a emitir? Después de que x es una Cadena, el compilador de Kotlin recuerda dentro de esa rama: x ya es una Cadena, no Cualquiera. Ese es un reparto inteligente. Es que el compilador es un buen compañero de equipo: menos conversiones ruidosas, menos mentiras entre comprobaciones y usos.