syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub type PredicateKind<'tcx> = ir::PredicateKind<TyCtxt<'tcx>>;
context_before: pub type ClauseKind<'tcx> = ir::ClauseKind<TyCtxt<'tcx>>;
context_after: pub type NormalizesTo<'tcx> = ir::NormalizesTo<TyCtxt<'tcx>>;