Revert "Set dest_type unconditionally"

This reverts commit 532893d.

Author: kmr-srbh

src/lpython/semantics/python_ast_to_asr.cpp

@@ -2079,8 +2079,6 @@ class CommonVisitor : public AST::BaseVisitor<Struct> {
         } else if ((right_is_int || left_is_int) && op == ASR::binopType::Mul) {
             // string repeat
             int64_t left_int = 0, right_int = 0, dest_len = 0;
-            dest_type = ASRUtils::TYPE(ASR::make_Character_t(al,
-                            loc, 1, 1, nullptr));
             if (right_is_int && ASRUtils::expr_value(right) != nullptr) {
                 ASR::Character_t *left_type2 = ASR::down_cast<ASR::Character_t>(
                     ASRUtils::type_get_past_array(left_type));
@@ -2089,6 +2087,9 @@ class CommonVisitor : public AST::BaseVisitor<Struct> {
                                                    ASRUtils::expr_value(right))->m_n;
                 dest_len = left_type2->m_len * right_int;
                 if (dest_len < 0) dest_len = 0;
+                dest_type = ASR::down_cast<ASR::ttype_t>(
+                        ASR::make_Character_t(al, loc, left_type2->m_kind,
+                        dest_len, nullptr));
             } else if (left_is_int && ASRUtils::expr_value(left) != nullptr) {
                 ASR::Character_t *right_type2 = ASR::down_cast<ASR::Character_t>(
                     ASRUtils::type_get_past_array(right_type));
@@ -2097,6 +2098,13 @@ class CommonVisitor : public AST::BaseVisitor<Struct> {
                                                    ASRUtils::expr_value(left))->m_n;
                 dest_len = right_type2->m_len * left_int;
                 if (dest_len < 0) dest_len = 0;
+                dest_type = ASR::down_cast<ASR::ttype_t>(
+                        ASR::make_Character_t(al, loc, right_type2->m_kind,
+                        dest_len, nullptr));
+            } else if ((left_is_int && ASRUtils::expr_value(left) == nullptr) 
+                || (right_is_int && ASRUtils::expr_value(right) == nullptr)) {
+                dest_type = ASRUtils::TYPE(ASR::make_Character_t(al,
+                            loc, 1, 1, nullptr));
             }
 
             if (ASRUtils::expr_value(left) != nullptr && ASRUtils::expr_value(right) != nullptr) {