syntax_data: {"ast_node_type":"import","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// we decide that this is true because `T: Bar` is in the
context_before: /// Here, in the `Foo` impl, we will check that `T: Copy` holds -- but
context_after: /// where-clauses (and we can elaborate that to include `T: