{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"universe_indices:"}]}
        universe_indices: &'a mut Vec<Option<ty::UniverseIndex>>,
        infcx: &'a Infcx,
        value: T,