syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // 2. If the output type parameters in the obligation do not match
context_before:     // 1. If no applicable impl or parameter bound can be found.
context_after:     //    those specified by the impl/bound. For example, if the obligation