Hi, Is it possible to have function which has two generic types and explicitly define only one type in call sites:

`
        suspend fun <T, U> DataSource.mustHave(block: suspend T.() -> U): U =
            ((this as? T) ?: throw RuntimeException("Operation is not supported")).block()
`

and use it:

dataSource.mustHave<DataSource.HasAddOperation> { add(command) }

Logically it should be able to infer U type automatically, but if I'm specifying first type T compiler requires me to specify also U type. eg.

dataSource.mustHave<DataSource.HasAddOperation, AddResult> { add(command) }

Is it possible to somehow declare that extension function in a way that U type be inferred automatically?

I don’t think you can have partial content in

<>

Currently this is not possible in Kotlin, but I remember there was an issue or two on Youtrack, try searching for it. I don't remember what was the decision on this, but it was definitely discussed at some point.

I would recommend:

fun <T> DataSource.mustHave(): T =
    (this as? T) ?: throw RuntimeException("Operation is not supported")

And then you can write

dataSource
.mustHave<DataSource.HasAddOperation>()
.add(command)

thank you all for answers