{"ast_node_type":"variable","tokens":[{"end":88,"kind":"keyword","start":0,"text":"let"}]}
        let universes: IndexVec<ty::UniverseIndex, _> = std::iter::once(self.universe())
        // and create fresh universes for the higher universes.
            .chain((1..=canonical.max_universe.as_u32()).map(|_| self.create_next_universe()))