{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"(0..self.num_vars())"}]}
        (0..self.num_vars())
    pub(crate) fn unresolved_variables(&mut self) -> Vec<ty::TyVid> {
            .filter_map(|i| {