syntax_data: {"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"universe_indices:"}]}
source_snippet:     universe_indices: &'a [Option<ty::UniverseIndex>],
context_before:     mapped_consts: FxIndexMap<ty::PlaceholderConst, ty::BoundConst>,
context_after:     current_index: ty::DebruijnIndex,