Is there any way to name the receiver parameter that is generated for Java interop when declaring an extension function? For instance, given a file

extensions.kt

with a top-level function

@file:JvmName("Utils")

and

fun String.secretFeature()

, in the Java code, this translates to

Utils.secretFeature(myString)

. However, the parameter name for

myString

becomes

$this$secretFeature

and generates a constant available at runtime used in the generated

Intrinsics.checkParameterIsNotNull()

invocation. We rely on ProGuard for stripping out unreleased features and have a script to decompile and search for keywords. In this case, this generated parameter name is leaked as there's no way for ProGuard to remove that constant. I'd like to do something like

@receiver:JvmName("stringParam") fun String.secretFeature()

.

You can mark calls to these functions as no-ops with a proguard rule, so they will be removed

The Intrinsics? I guess that could work, you'd just lose that check though, so it would technically be a behavioral change if you did pass null.