{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"(range.clone(),"}]}
        (range.clone(), range.map(|index| self.var_origin(index)).collect())
        let range = TyVid::from_usize(value_count)..TyVid::from_usize(self.num_vars());
    }