syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// Copy`). This wouldn't be a problem, except that when we check the
context_before: /// where-clauses (and we can elaborate that to include `T:
context_after: /// `Bar` impl, we decide that `T: Foo` must hold because of the `Foo`