{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"var.to_const(Interner,"}]}
        var.to_const(Interner, ty)
        let var = self.var_unification_table.new_variable(UniverseIndex::ROOT);
    }