{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
                        // token_ids_emitted does deduplication. This checks that this results
                    if token_ids_emitted.insert(id) {
                        // in unique emitted symbols, as otherwise references are ambiguous.