`fun <C : SuperClass> inv(s: S<C>): SV...
# getting-started
fun <C : SuperClass> inv(s: S<C>): SV<C> {
result = SV(s)
if (..) {
return CSV(result)
return result
I have this function, SV and CSV are names of constructors SV<C: SuperClass>(...) and CSV<C: SubClass>(...) and it gives me compilation error, since I'm trying to use CSV constructor as CSV<C: SuperClass>(..)