making sure callies typeParameters are used when evaluating callExpre…

…ssion and the typeParameters are not provided from arguments or other input.
HaxeFoundation · Jan 14, 2025 · 952440d · 952440d
1 parent 21b3d7a
commit 952440d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/...a/com/intellij/plugins/haxe/model/evaluator/callexpression/HaxeCallExpressionContext.java b/...a/com/intellij/plugins/haxe/model/evaluator/callexpression/HaxeCallExpressionContext.java
@@ -124,6 +124,7 @@ private HaxeCallExpressionEvaluation evaluate(boolean trackErrors, PsiElement so
         argumentResolver.addAll(callExpressionScopeResolver);
 
         parameterResolver.addAll(methodResolver);
+        parameterResolver.addAll(evaluation.callieResolver);
         parameterResolver.addAll(callExpressionScopeResolver);
 
         applyAssignHint(argumentResolver, parameterResolver);

diff --git a/src/test/resources/testData/annotation.semantic/Monomorphism.hx b/src/test/resources/testData/annotation.semantic/Monomorphism.hx
@@ -35,6 +35,10 @@ class MonomorphTest {
         // Wrong already morphed to Map<String, Int>
         mapDelayed.set(<error descr="Type mismatch (Expected: 'String' got: 'Int')">1</error>, <error descr="Type mismatch (Expected: 'Int' got: 'String')">"test"</error>);
 
+        // verify we are using callies typeParameter for typeParameter not specified in call expression
+        var returnValue:Int = mapDelayed.get("1"); // correct
+        var <error descr="Incompatible type: Null<Int> should be String">returnValue:String = mapDelayed.get("1")</error>;// wrong
+
         var mapDelayed2 = new Map();
         mapDelayed2.clear();// verify that accessing member without type parameter(s) wont affect monomorph
         mapDelayed2.set("test", 1);