syntax_data: {"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // inference of the impl's type parameters.
context_before:     // all nested obligations. This is because they can inform the
context_after:     let ocx = ObligationCtxt::new(&infcx);