I don't need it, but I'm using this to maintain compatibility with the previous utils, written in java (method was dpToPx then)

you could just add a forwarding method:

fun Int.dpToPx() = px()

I know, that's not the issue. I'm just using an extension property instead of function here to avoid

()

in Kotlin

i see.. not sure then. Personally prefer the

()

even with extension function instead of property, the original issue remains, is it possible to rename the parameter

$receiver

that's visible in java?

my apologies i completely misunderstood the question

no problem, thanks for having a look anyway 🙂

This isn't possible yet, here's the issue about it: https://youtrack.jetbrains.com/issue/KT-19739

Okay, thanks! 🙂