{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
            // be reported as a non-exhaustiveness witness, so we can ignore this issue.
            // be careful to detect strings here. However a string literal pattern will never
            Ref => {