Après ces vérifications, Kotlin effectue souvent des diffusions intelligentes sans expression cast. Java a ajouté une correspondance de modèles pour instanceof (liaison d'une variable en une seule étape) et des interfaces/classes scellées (Java 17+) pour affiner les types de la même manière que Kotlin scellé + quand, bien que la sensation diffère.