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.