Can you please make at least some of the annotations within kotlin.internal.AnnotationsKt available for use by us? They provide the only solutions to problems we all encounter - and yet only JetBrains gets to use these features. (Notably worrying is that if you privately have solutions readily usable, then clearly you won’t recognize the need for them — since, well, you already have them.)
Specifically, I would like to use @LowPriorityInOverloadResolution and @NoInfer, at least.
I’m not sure how @OnlyInputTypes works, but it would be great if something existed like was wished for in this post in Nulls and generics.
Note that in the post, the mention of requested feature only comes in an almost-not-included wishful sidecomment. The two annotations I request solve a class of issues that I encounter but never file reports for because they are language limitations rather than bugs. Who would have known that they already exist, but presumably just aren’t available since they’re already internally usable by JetBrains. They’re used all over JetBrains’ Kotlin code, so there is no question as to whether they have compelling use cases.