Missing type check?

[alamothe]

Related:

Generics question with KProperty1

Hello, I have the following function: class Query<T: Any> { fun <P> whereEqualTo(property: KProperty1<T, P>, value: P): Query<T> { // ... } } I have naively expected that I couldn’t pass any value for value, only those that can be assigned to the property in question (even though I’m not actually assigning it, just building a query). But this is not true: data class X(val x: String) query.whereEqualTo(X::x, 42) This compiles no problem, because P is substituted with Any. Is there any…

How do I constrain a Kotlin extension function parameter to be the same as the extended type?

https://youtrack.jetbrains.com/issue/KT-13198

Unfortunately, no progress is being made with these fundamental issues while Kotlin team is busy building irrelevant stuff like multiplatform.