Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #14540 - RalfJung:docs-target, r=weihanglo
docs: Feature resolver version 2: clarify use of 'target' IIUC, these two uses of the word `target` right next to each other in the docs actually have different meaning. That is kind of confusing, so add disambiguators and links to the glossary that should help clarify this.
- Loading branch information