{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
            // literal pattern will never be reported as a non-exhaustiveness witness, so we
            // be careful to reconstruct the correct constant pattern here. However a string
            // ignore this issue.