A modern programming language that makes developers happier.

kotlinlang

i have this function:
```inline fun &lt;reified T: FeatureSet&gt; get(clazz: KClass&lt;T&gt; = T::class): T?```
when i call it like so `val a: Any? = foo.get()`
i get the class `FeatureSet`  which is abstract
is there any way to forbid this syntax other than crashing at runtime ?

If you get `FeatureSet` that means foo is FeatureSet also, right?

foo is the enclosing class, `ClassSet` although that should be irrelevant for the type inference here

Sorry for not actually helping. I'm confused.
Is it
```inline fun &lt;reified T: FeatureSet&gt; get(clazz: KClass&lt;T&gt; = T::class): T?```
or
```inline fun &lt;reified T: FeatureSet&gt; T.get(clazz: KClass&lt;T&gt; = T::class): T?```
If it's the first one as you typed, where does T get evaluated in `foo.get()` ?

tinkered around a bit more seems like
```inline fun &lt;reified T: Any&gt; get(): KClass&lt;T&gt; = T::class```
cannot be called without type parameter, because type inference fails
if the signature changes to these however..
```inline fun &lt;reified T: Any&gt; get(): T
inline fun &lt;reified T: Any&gt; get(): T?```
it seems like you can call it anyways (and it passes a wrong?`T`)

it is the former
T is getting evaluated via `T::class`  but .. does that affect the type inference ?

seems like `Result&lt;T&gt;` or any other wrapping things also help.. but i'd prefer to not create unneccesary wrapping objects just to have type inference work this way..