{"ast_node_type":"function","tokens":[{"end":72,"kind":"keyword","start":0,"text":"fn"}]}
    fn new_var(&mut self, kind: TyVariableKind, diverging: bool) -> Ty {
        let var = self.var_unification_table.new_variable(UniverseIndex::ROOT);