No es JetBrains, pero... Porque el cambio de tipo debido a una conversión inteligente es algo muy poco obvio que sucede en su código, y no hay una forma real de que usted mismo pueda hacerlo explícitamente más visible. Así que el resaltado de sintaxis lo hace por ti.

No puedo decirlo desde la perspectiva de JetBrains, pero mi opinión es porque declaraste esa variable primero como String. por ejemplo, ahora uno hubiera esperado que mantuviera el tipo, pero en su lugar el tipo se cambia a String usando smart cast, en este caso es simple, pero a veces puede tener una jerarquía más grande de clases selladas, por ejemplo, donde diferentes clases tienen diferentes métodos y esto debería ayudarlo a recordar que el tipo no es el mismo que el declarado, esta es quizás su forma de decir que solía ser tipo X, pero ahora es Y dentro de este contexto.