{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":".into_iter()"}]}
            .into_iter()
        let min_universe = lower_vid_bounds
            .map(|vid| self.var_infos[vid].universe)