`kotlinc` already warns us of things like “This ca...

# getting-started

[cedric]

kotlinc already warns us of things like “This cast can never succeed”, it should definitely tell us “The body of this loop will never execute”.