A modern programming language that makes developers happier.

kotlinlang

Is there a way to override the declaration-site variance for one specific method?
I am writing a DSL and I have this method:
```
infix fun &lt;E : Any, P&gt; KProperty1&lt;in E, P&gt;.eq(value: P): PredicateProvider&lt;E&gt;
```

Since `KProperty1` is declared as `KProperty&lt;T, out R&gt;` I can call my `eq` method like this:
```
MyClass::id eq "hello"
```
even if `id` is of type `UUID`. The compiler then infers `Any` for `P`. Can I somehow tell the compiler... not to do that? Since that obviously does not make any sense here.