{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
            // Note: if we have to introduce new placeholders during normalization above, then we
            // won't have added those universes to the universe info, which we would want in