{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"base_universe:"}]}
            base_universe: Some(base_universe),
        UniverseInfo::TypeOp(Rc::new(crate::type_check::InstantiateOpaqueType {
            ..self