{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
        let u = self.universe.get().next_universe();
    pub fn create_next_universe(&self) -> ty::UniverseIndex {
        debug!("create_next_universe {u:?}");