I have been writing several comments to issue #45742, which I believe is the central issue in regard to the technical problems behind AsRef and AsMut. It is currently tagged as
- A-specialization
- C-cleanup
- S-blocked
While specialization may be needed to be able to add new implementations, it's neither sufficient to solve the problem nor it's blocking to work towards a solution, I believe.
Such a lint could be added without specialization. So my question is, would it be reasonable to add a label "A-lint" (and maybe remove "S-blocked"?)
Or should a lint be a separate issue?
Moreover, should #45742 be labeled "T-libs-api"? Or doesn't it make sense until some time later when/if it would perhaps become more feasible to do anything that goes beyond a lint?
P.S.: Unfortunately, the links to the FIXMEs are broken in the OP of that issue #45742, and there seems to be a confusing mistake too.
P.P.S.: And are there reasons against such a lint?
(Maybe it's best to wait first anyway until the PR on the documentation fix has been successfully accepted or been rejected, or been replaced with something different, so there's more clarity on the issue.)