syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"impl<'a,"}]}
source_snippet: impl<'a, 'tcx> TypeVisitor<TyCtxt<'tcx>> for WfPredicates<'a, 'tcx> {
context_after:     fn visit_ty(&mut self, t: Ty<'tcx>) -> Self::Result {