{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"outer_universe:"}]}
        outer_universe: ty::UniverseIndex,
        tcx: TyCtxt<'tcx>,
        max_universe: ty::UniverseIndex,