Vous avez vérifié la forme de la valeur : pourquoi devriez-vous la lancer à nouveau ? Une fois que x est une chaîne, le compilateur Kotlin se souvient de l'intérieur de cette branche : x est déjà une chaîne, pas Any. C'est un casting intelligent. C'est le compilateur qui est un bon coéquipier : moins de castings bruyants, moins de mensonges entre les vérifications et les utilisations.
est - et le compilateur vous croit