Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Clarify use_decl module resolution docs. #8639
Attempt #2 of this pull request since my tired mind decided messing up my repo, then deleting and re-forking was a good idea. This is identical to the second last commit in that PR. (The one before I ruined everything.)
This is an improvement to use_decl docs, which will hopefully improve understanding of how resolution works and where