Correct fix for #190; Context type hint should be the argument's type…

… instead of the array's type. (Also confirmed not to work in UT2004, so will also need to add diagnostic errors)
EliotVU · Jul 22, 2024 · 4395820 · 4395820
1 parent 56ac8b6
commit 4395820
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/server/src/UC/expressions.ts b/server/src/UC/expressions.ts
@@ -500,12 +500,10 @@ export class UCElementAccessExpression extends UCExpression {
         const type = this.expression.getType();
         if (type) {
             this.accessType = resolveElementType(type);
-            info = {
-                contextType: this.accessType
-            };
         }
 
-        this.argument?.index(document, context, info);
+        // UC1 and UC2 do not pass a context hint.
+        this.argument?.index(document, context, { contextType: StaticConstIntType });
     }
 }
 

diff --git a/server/src/UC/test/enum/EnumTest.uc b/server/src/UC/test/enum/EnumTest.uc
@@ -89,6 +89,7 @@ function EEnumTest ShouldHintEnumTest()
 {
     local EEnumTest p1;
     local byte b1;
+    local array<string> strings;
 
     // in assignments
     p1 = EEnumTest.EnumCount;
@@ -131,8 +132,9 @@ function EEnumTest ShouldHintEnumTest()
     AcceptByte(EEnumTest.EnumCount);
     AcceptInt(ET_Other);
 
-    // in element accesses
+    // in element accesses (UC3+)
     MyEnumArrayPropertyTest[ET_Other] = ET_Other;
+    strings[ET_Other] = ""; // Hint is also expected for a non-int type array.
 
     // in returns
     return ET_Max;