Kotlin doesn't look into the body of functions for...

# announcements

[karelpeeters]

Kotlin doesn't look into the body of functions for smartcasting. If you really want this you can look into the experimental feature "contracts".