{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
    ) -> bool {
        pred: impl Upcast<TyCtxt<'tcx>, ty::Predicate<'tcx>>,
        let pred: ty::Predicate<'tcx> = pred.upcast(self.tcx);