O'Reilly logo
  • Maurizio Pietrantuono thinks this is interesting:

the compiler infers that the type of address is non-null, because the branch handling the case when it’s null always throws an exception.

From

Cover of Kotlin in Action

Note

that is smart!!!