{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":".min()"}]}
            .min()
            .map(|vid| self.var_infos[vid].universe)
            .expect("lower_vid_bounds should at least include `node_idx`");