syntax_data: {"ast_node_type":"impl","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // Create an infcx, taking the predicates of the specializing impl as assumptions:
context_after:     let infcx = tcx.infer_ctxt().build(TypingMode::non_body_analysis());