it’s definitely weird and a little confounding con...

# announcements

[Shawn]

it’s definitely weird and a little confounding considering that the compiler can tell in the third example that you’re never going to reach that 2, and should therefore be able to tell that the while loop satisfies the Int rtype, but I imagine this is a corner case that they weren’t anticipating when building Kotlin’s type system