But the feature of Kotlin's type system where you ...

# getting-started

[cdepillabout]

But the feature of Kotlin's type system where you can check against null, and then in the rest of the block, you can be sure the type won't be null is pretty neat.