syntax_data: {"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"ty::ClauseKind::TypeOutlives(outlives).upcast(tcx),"}]}
source_snippet:                     ty::ClauseKind::TypeOutlives(outlives).upcast(tcx),
context_before:                 nested.push(predicate_to_obligation(
context_after:                 ));