Closed
Description
The current stability check only checks a few uses: functions and methods. There is much more needed for the coverage to be complete. In particular, every path contains multiple components which should all be checked. Simply checking paths would improve the accuracy of the analysis greatly.
This requires modifying resolve to record the def_id's of path components, not just the entire path.
cc @aturon