public final class ReceiverFunKt {
    public static final fun foo(@MyReceiverAnnotation @org.jetbrains.annotations.NotNull $this$foo: java.lang.String) : int {
        return this.length
    }
    public static final fun getRx(@MyReceiverAnnotation(name = "RegExp") @org.jetbrains.annotations.NotNull $this$getRx: java.lang.String) : kotlin.text.Regex {
        return toRegex()
    }
}

public abstract annotation MyReceiverAnnotation {
    public abstract fun name() : java.lang.String = UastEmptyExpression
}