{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
            // so assign a different `disambiguator` to ensure they do not get the same `VnIndex`.
            // Multiple mentions of this constant will yield different values,
            let disambiguator = self.next_opaque();