{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
                    // So we have at least two potentially inhabited variants. If we can prove that
                    };
                    // we have at least two *definitely* inhabited variants, then we have a tag and