{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"self.interners.intern_predicate("}]}
        self.interners.intern_predicate(
    pub fn mk_predicate(self, binder: Binder<'tcx, PredicateKind<'tcx>>) -> Predicate<'tcx> {
            binder,