{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"$(Some($($pat)*)"}]}
                    $(Some($($pat)*) => 1 + ${index()},)*
                    None => unreachable!(),
                }