Glossary: Kotlin Beyond the Basics

smart cast

Kotlin treating a value as a more specific type after a check such as `is Ok`, so you can use `value` directly.