{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// universes. Updates `self.universe` to that new universe.
    /// Creates and return a fresh universe that extends all previous
    pub fn create_next_universe(&self) -> ty::UniverseIndex {