Smart Cast Articles

Kotlin Contracts: Smart Casts, Type Inference, and callsInPlace

A deep dive into Kotlin Contracts, showing how returns() implies and callsInPlace help the compiler recover smart casts, variable initialization, and better type inference.