{"ast_node_type":"function","tokens":[{"end":69,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn unresolved_variables(&mut self) -> Vec<ty::TyVid> {
    /// instantiated.
        (0..self.num_vars())