syntax_data: {"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
source_snippet: impl<'tcx> rustc_type_ir::inherent::Predicate<TyCtxt<'tcx>> for Predicate<'tcx> {
context_after:     fn as_clause(self) -> Option<ty::Clause<'tcx>> {