{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":")"}]}
    ) -> hir::WherePredicate<'hir> {
        params: &[ast::GenericParam],
        let hir_id = self.lower_node_id(pred.id);