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 {
}
