How does Kotlin compiler implement smart casts internally?

Smart casts are compiler optimizations based on control flow analysis.

The Kotlin compiler tracks variable types across control flow graphs. When a type check succeeds (is operator), the compiler records that the variable cannot change type in that scope and inserts implicit casts in bytecode. However, smart casts fail for mutable or externally accessible variables due to potential state changes.