document trait bounds and candidate preference behavior#7

lcnr wants to merge 4 commits intorust-lang:referencerust-lang/project-goal-reference-expansion:referencefrom

lcnr:trait-boundslcnr/reference-drafts:trait-boundsCopy head branch name to clipboard