A new proposal has been announced #276. It will be brought up at the next meeting.
Hmm, @Charles Lew, did you have any thoughts about how to implement this proposal?
It's going to be tricky to combine with incremental compilation
Well, not necessarily, you can certainly have a query that works the entire AST or something
which we would usually write as one that walks each function and invokes a sub-query, to actually get some caching
there are also other annoying details, like
#[cfg] to consider
Hm it seems like this is the kind of thing that at least in theory could run at resolution time, rather than trying to collect everything?
unless I misunderstood and we specifically want to do something like "compare against all other defined idents"
ah yes, I see the RFC now as well
It feels ... plausible that this could be embedded into resolution though. We have a pretty global view of all idents there I think