{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"///"}]}
    /// existential regions reachable from it.
    /// It is the smallest nameable universes of all
    max_nameable_universe: UniverseIndex,