syntax_data: {"ast_node_type":"import","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// `Bar` impl, we decide that `T: Foo` must hold because of the `Foo`
context_before: /// Copy`). This wouldn't be a problem, except that when we check the
context_after: /// impl. And so nowhere did we check that `T: Copy` holds!