Data Class Supertype and Primary Constructor

[jfeingold]

Is there a way to restrict a type parameter to be a data class, à la Product for Scala case classes? I think the Any in the construction, below, is redundant.

fun <T: Any> foo(...)

Also, given a KClass, is there a way to figure out which constructor is the primary constructor (at least for a data class)? Perhaps it’s always the first one listed.

val ctor: Constructor<T> = kClass.constructors.first().javaConstructor!!

[broot]

@jfeingold

T: Any

Any is not redundant, it limits T to non-null types.

@jfeingold

Also, given a KClass , is there a way to figure out which constructor is the primary constructor

Errr… kClass.primaryConstructor?

[jfeingold]

First of all, that’s a very good point.

Secondly, d’oh! That was thick of me. : / I was looking at the java ctors.

Thanks, again.