{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
///     =================             |    |--------------------------|
///     |  unreachable  |             |    |   _dl = discriminant(P)  |
///                                   |    |       switchInt(_dl)     |