{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"UniverseInfo::TypeOp(Rc::new(crate::type_check::InstantiateOpaqueType"}]}
        UniverseInfo::TypeOp(Rc::new(crate::type_check::InstantiateOpaqueType {
    fn to_universe_info(self, base_universe: ty::UniverseIndex) -> UniverseInfo<'tcx> {
            base_universe: Some(base_universe),