{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
                // may also be considered to diverge. We should warn on all subsequent
                // e.g. `_` or `x`, and the guard diverges, then the whole match
                // arms, too, just like we do for diverging scrutinees above.