syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"type"}]}
source_snippet:     type Kind = ty::Binder<'tcx, ty::PredicateKind<'tcx>>;
context_before: impl<'tcx> rustc_type_ir::inherent::IntoKind for Predicate<'tcx> {