{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
        // Global predicates are either always true or always false, so we
    match clause.kind().skip_binder() {
        // are fine to specialize on.