syntax_data: {"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// *fairly arbitrary* choices about which candidate is actually used.
context_before:     /// If there are multiple ways to prove a trait goal, we make some
context_after:     ///