syntax_data: {"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
source_snippet:         );
context_before:             [output_ty],
context_after:         nested.push(Obligation::new(self.infcx.tcx, cause, obligation.param_env, tr));