syntax_data: {"ast_node_type":"impl","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// impl or trait. The obligations are instantiated and fully
context_before:     /// Returns the obligations that are implied by instantiating an
context_after:     /// normalized. This is used when confirming an impl or default