{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
        // and create fresh universes for the higher universes.
        // Instantiate the root-universe content into the current universe,
        let universes: IndexVec<ty::UniverseIndex, _> = std::iter::once(self.universe())