{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":".chain((1..=canonical.max_universe.as_u32()).map(|_|"}]}
            .chain((1..=canonical.max_universe.as_u32()).map(|_| self.create_next_universe()))
        let universes: IndexVec<ty::UniverseIndex, _> = std::iter::once(self.universe())
            .collect();