Hi, My use case is quite complex (a RecyclerView....

# language-proposals

[louiscad]

Hi,

My use case is quite complex (a RecyclerView.Adapter for an Android app), but basically, I'd like smart casts to apply to check(…) and require(…) stdlib methods. What do you think?

[ilya.gorbunov]

We consider something like that in https://youtrack.jetbrains.com/issue/KT-7566 and https://youtrack.jetbrains.com/issue/KT-8889