kotlin-fork/plugins/uast-kotlin/testData/ReceiverFun.render.txt

public final class ReceiverFunKt {
    public static final fun foo(@MyReceiverAnnotation @org.jetbrains.annotations.NotNull $receiver: java.lang.String) : int = this.length
}

public abstract annotation MyReceiverAnnotation {
}