{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"),"}]}
                        ),
                            self.r.arenas.alloc_pattern_spans(sub_patterns.iter().map(|p| p.span)),
                    );