This is a general question. Let's say I have an extension function written in kotlin which converts DP to PX and return a NonNull Int
fun Int.toPx() { /** implementation */ }
The function in java will look something like this
public int toPx(int $receiver) { /** implementation */ }
In my opinion the $receiver
makes the Java-interop feels generated and uninviting.
I know that you can use the @JvmName
annotation with some combinations like @file:JvmName
to change the name in java.
When i'm trying to use @JvmName
with the receiver
site target it says
"This annotation is not applicable to target type usage
and use site target @receiver
"
Is there a way to overcome that and change the name of the receiver and if not what is the best alternative.