{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"});"}]}
            });
                rib.patterns_with_skipped_bindings.to_sorted(&hcx, true)
            for (def_id, spans) in patterns_with_skipped_bindings {