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