Reified generics in interface

[fvasco]

Similar proposal using KClass

Typeclass KClass

Hi, this proposal follow the typeclass on Kotlin. The class kotlin.reflect.KClass can become a typeclass, ie: typeclass KClass<T : Any> For each exsisting type T the Kotlin compiler is already able to define a specific instance of KClass<T>, currenlty it is expressed as T::class. The goal is to mimic a reified type without requiring the inlining. A simple example is: class TypePredicate<T> : Predicate<T> given KClass<T> { override fun filter(e : T) = e is T } val stringTypePredicate …