{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"max_placeholder_universe_reached:"}]}
    max_placeholder_universe_reached: UniverseIndex,
    /// This includes placeholders within this SCC.