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