no offense
@apatrida since you have way more experience than I do with this,
but I’m feeling that you misunderstand the question I was bringing up.
I was only discussing of
compiler compile-time (obviously…) checking.
As for execution-time availability of types, you’re perfectly right, but that’s a different topic I fear.
The use case I was referring to is exactly the one here:
https://youtrack.jetbrains.com/issue/KT-9193. The discussion is exactly the same as here
simple smile