title: Why is smart cast so prominently highlighted?
body: <p>I try to understand why smart casts are so prominently highlighted in IntelliJ. For example this String? gets smart casted to String and it draws a lot of attention:
  <a href="https://i.stack.imgur.com/kLE8Y.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/kLE8Y.png" alt="smart cast example"></a></p>
  
  <p>I'm not looking for an explanation of the smart cast feature in general, but rather try understand why Jetbrains thinks this needs developer attention.</p>