{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// This includes placeholders within this SCC.
    /// The largest universe of a placeholder reached from this SCC.
    max_placeholder_universe_reached: UniverseIndex,