{"ast_node_type":"function","tokens":[{"end":43,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn new(tcx: TyCtxt<'tcx>) -> Self {
impl<'tcx> PredicateSet<'tcx> {
        Self { tcx, set: Default::default() }