{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"///"}]}
///     _ => $e [
///     // Is this an Index operation, or new arm with a slice pattern?
///             ^                                                          ]