diff --git a/ets2panda/checker/ETSAnalyzer.cpp b/ets2panda/checker/ETSAnalyzer.cpp
index 858c20feeee6be58e38aa24cced5978543269659..70188c61d54fe77096983ae5c35d153fca82e075 100644
--- a/ets2panda/checker/ETSAnalyzer.cpp
+++ b/ets2panda/checker/ETSAnalyzer.cpp
@@ -709,7 +709,12 @@ static ArenaVector<std::pair<Type *, ir::Expression *>> GetElementTypes(ETSCheck
 {
     ArenaVector<std::pair<Type *, ir::Expression *>> elementTypes(checker->ProgramAllocator()->Adapter());
 
-    for (std::size_t idx = 0; idx < expr->Elements().size(); ++idx) {
+    auto *const exprPreferredType = expr->PreferredType();
+    auto *const exprTupleType = exprPreferredType->IsETSTupleType() ? exprPreferredType->AsETSTupleType() : nullptr;
+    checker::Type *elemPreferredType =
+        exprPreferredType->IsETSTupleType() ? nullptr : checker->GetElementTypeOfArray(exprPreferredType);
+
+    for (std::size_t idx = 0U; idx < expr->Elements().size(); ++idx) {
         ir::Expression *const element = expr->Elements()[idx];
 
         if (element->IsSpreadElement()) {
@@ -717,20 +722,17 @@ static ArenaVector<std::pair<Type *, ir::Expression *>> GetElementTypes(ETSCheck
             continue;
         }
 
-        auto *const exprPreferredType = expr->PreferredType();
-
-        if (expr->PreferredType()->IsETSTupleType() && idx < expr->PreferredType()->AsETSTupleType()->GetTupleSize() &&
-            !ValidArrayExprSizeForTupleSize(checker, exprPreferredType->AsETSTupleType()->GetTypeAtIndex(idx),
-                                            element)) {
-            elementTypes.emplace_back(checker->GlobalTypeError(), element);
-            continue;
+        if (exprPreferredType->IsETSTupleType()) {
+            if (idx >= exprTupleType->GetTupleSize() ||
+                !ValidArrayExprSizeForTupleSize(checker, exprTupleType->GetTypeAtIndex(idx), element)) {
+                elementTypes.emplace_back(element->SetTsType(checker->GlobalTypeError()), element);
+                continue;
+            } else {
+                elemPreferredType = exprTupleType->GetTypeAtIndex(idx);
+            }
         }
 
-        auto *const targetPreferredType = exprPreferredType->IsETSTupleType()
-                                              ? exprPreferredType->AsETSTupleType()->GetTypeAtIndex(idx)
-                                              : checker->GetElementTypeOfArray(exprPreferredType);
-        element->SetPreferredType(targetPreferredType);
-
+        element->SetPreferredType(elemPreferredType);
         elementTypes.emplace_back(element->Check(checker), element);
     }
 
diff --git a/ets2panda/test/ast/parser/ets/recordKeyTypeCheck02.ets b/ets2panda/test/ast/parser/ets/recordKeyTypeCheck02.ets
index a8af2cbfaa172f72ffa6780b027189a3d0119f22..d65646705f1c1b92083273927b1714233eebfc16 100644
--- a/ets2panda/test/ast/parser/ets/recordKeyTypeCheck02.ets
+++ b/ets2panda/test/ast/parser/ets/recordKeyTypeCheck02.ets
@@ -19,6 +19,6 @@ function main(){
     let a: Record/* @@ label */<A | double, number> = {
         1: 1,
         2: 2
-    } 
+    }
 }
-/* @@@ label Error TypeError: Type argument 'A|Double' should be a subtype of 'Numeric|String|BaseEnum<Int|Long|String>'-constraint */
+/* @@@ label Error TypeError: Type argument 'A|Double' should be a subtype of 'Numeric|String|BaseEnum<Int>|BaseEnum<Long>|BaseEnum<String>'-constraint */
diff --git a/ets2panda/test/ast/parser/ets/recordKeyTypeCheck03.ets b/ets2panda/test/ast/parser/ets/recordKeyTypeCheck03.ets
index a1fcd36cfb467123731471a084a61a92706c7d77..5d863c0d03274bc22ff7ccfad74f884258d62fdb 100644
--- a/ets2panda/test/ast/parser/ets/recordKeyTypeCheck03.ets
+++ b/ets2panda/test/ast/parser/ets/recordKeyTypeCheck03.ets
@@ -18,4 +18,4 @@ class A{}
 function main(){
     let a: Record/* @@ label */<BigInt, number>
 }
-/* @@@ label Error TypeError: Type argument 'BigInt' should be a subtype of 'Numeric|String|BaseEnum<Int|Long|String>'-constraint */
+/* @@@ label Error TypeError: Type argument 'BigInt' should be a subtype of 'Numeric|String|BaseEnum<Int>|BaseEnum<Long>|BaseEnum<String>'-constraint */