so, regarding the mechanism that kotlin uses for `...

# random

[groostav]

so, regarding the mechanism that kotlin uses for kotlin.List vs java.util.List, is there any way we mere programmers can get access to the same magic?

I have a java type that must be a java type that I want to retroactively declare as covariant in kotlin.