{"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"let"}]}
        let var = self.var_unification_table.new_variable(UniverseIndex::ROOT);
    pub(crate) fn new_const_var(&mut self, ty: Ty) -> Const {
        var.to_const(Interner, ty)