После is Котлин часто умно сужает тип без явного cast. В Java добавили pattern matching для instanceof — переменная в одном шаге — и sealed интерфейсы/классы (Java 17+), чтобы сужать типы похоже на sealed + when в Котлин, хотя ощущения от кода разные.
Котлин: is и smart cast
Full content is available with a subscription.
Get full access to all courses on the platform for one year with a single payment.
▼
Unlike other platforms that charge per course, here you get everything for one price, and after one year of use there will be no automatic charge for the following year.